Nuprl Definition : ecl-trans-ks
11,40
postcript
pdf
ecl-trans-ks(
v
) == spreadn(
v
;
T
,
ks
,
i
,
g
,
h
,
a
,
e
.
ks
)
latex
Definitions
spreadn(
u
;
a
,
b
,
c
,
d
,
e
,
f
,
g
.
v
(
a
;
b
;
c
;
d
;
e
;
f
;
g
))
FDL editor aliases
ecl-trans-ks
origin